Nuprl Definition : ternary-fps 11,40
ternary-fps == cons(qdiv(1; 3); cons(qdiv(1; 3); cons(qdiv(1; 3); []))) 
latex

Definitionscons(car; cdr), qdiv(r; s), #$n, []
FDL editor aliasesternary-fps

origin